A Framework for Dynamic Evolution of Distributed Systems Specifications*
نویسندگان
چکیده
Recently, object-oriented specifications of distributed systems has gained more attention. The object-oriented approach is known by its flexibility for system construction. However, one of the major challenges is to provide facilities for the dynamic modifications of such specifications during the development and maintenance process. Yet, current work has not addressed the dynamic modifications of specifications of distributed systems. In this paper, we are concerned with formal description techniques that allow for the development and the dynamic modification of executable specifications. A two-level model for the evolution of large object-oriented specifications is introduced. The first level deals with the dynamic modification of types (classes), while the second level deals with the modification of modules. We have defined a set of structural and behavioral constraints to ensure the specification consistency after its modification at both levels. To allow for dynamic modification of types and modules, we have developed a reflective object-oriented specification language which uses meta-objects to support the modification operations. In this language, types and modules are objects. KEY-WORDS: Object-oriented specifications, software evolution, type modification, modules compatibility, reflection, dynamic modifications. * Revue Rseaux et Informatique Rpartie, Vol.4, No.2
منابع مشابه
Influences of temporal evolution of ground motion frequency content on developed dynamic ratcheting in SDOF systems
Dynamic Ratcheting (DR) is a nonlinear dynamic phenomenon occurring in hysteretic damping systems. It means the structural plastic deformation increases asymmetrically in successive cycles under an earthquake excitation. Although it is generally recognized that DR is closely related to the frequency contents of an earthquake excitation applied to thestructure, no targeted analysis has bee...
متن کاملa Simplified Model of Distributed Parameter Systems
A generalized simplified model for describing the dynamic behavior of distributed parameter systems is proposed. The various specific characteristics of gain and phase angle of distributed parameter systems are investigated from frequency response formulation and complex plane representation of the proposed simplified model. The complex plane investigation renders some important inequality cons...
متن کاملDynamic configuration and collaborative scheduling in supply chains based on scalable multi-agent architecture
Due to diversified and frequently changing demands from customers, technological advances and global competition, manufacturers rely on collaboration with their business partners to share costs, risks and expertise. How to take advantage of advancement of technologies to effectively support operations and create competitive advantage is critical for manufacturers to survive. To respond to these...
متن کاملDynamic Planning the Expansion of Electric Energy Distribution Systems Considering Distributed Generation Resources in the Presence of Power Demand Uncertainty
In this paper, a new strategy based on a dynamic (time-based) model is proposed for expansion planning of electrical energy distribution systems, taking into account distributed generation resources and advantage of the techno-economic approach. In addition to optimal placement and capacity, the proposed model is able to determine the timing of installation / reinforcement of expansion options....
متن کاملSpecification, Design and Verification of Distributed Embedded Systems
We are investigating the specification, design and verification of distributed systems that combine communications, computation and control in dynamic, uncertain and adversarial environments. Our goal is to develop methods and tools for designing control policies, specifying the properties of the resulting distributed embedded system and the physical environment, and proving that the specificat...
متن کامل